// create the editors
var editor_config = ace.edit("editor_config");
editor_config.getSession().setMode("ace/mode/json");
editor_config.setShowPrintMargin(false);
editor_config.session.setUseWorker(true);
